Índice do material disponível: Bibliografia Luca Aceto, Anna Ingólfsdóttir, Kim G. Larsen, Jiri Srba. Systems: Modelling, Specification and Verification . ...
Métodos Formais Preâmbulo A ciência tem a ver com o perceber se como o mundo e as suas coisas funcionam e a tecnologia com o garantir que certas coisas que se ...
Módulos Os conteúdos programáticos desta UCE são agrupados em 4 módulos temáticos e um de projecto integrador, de acordo com a seguinte estrutura: Métodos Formais ...